Skip to content

Make docs changes live - #5426

Merged
LiamConnors merged 16 commits into
doc-prodfrom
make-docs-changes-live
Nov 18, 2025
Merged

Make docs changes live#5426
LiamConnors merged 16 commits into
doc-prodfrom
make-docs-changes-live

Conversation

@LiamConnors

Copy link
Copy Markdown
Contributor

No description provided.

@LiamConnors
LiamConnors requested a review from emilykl November 18, 2025 17:02
@emilykl

emilykl commented Nov 18, 2025

Copy link
Copy Markdown
Contributor

@LiamConnors Is there a reason you didn't include the updated js/ in this PR? I'm not sure it actually matters, but I guess I would expect them to be kept up to date with what's on main

@LiamConnors

Copy link
Copy Markdown
Contributor Author

@LiamConnors Is there a reason you didn't include the updated js/ in this PR? I'm not sure it actually matters, but I guess I would expect them to be kept up to date with what's on main

which js is missing? I think this PR has everything from main

@emilykl emilykl left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🚀

@LiamConnors
LiamConnors merged commit 9438a05 into doc-prod Nov 18, 2025
7 checks passed
@LiamConnors
LiamConnors deleted the make-docs-changes-live branch November 18, 2025 19:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants